접속 사이트 주소 : http://ropas.snu.ac.kr/cgi-bin/mimetex.cgi?\frac{\Gamma%20\vdash%20E_1%20:%20\iota%20\%20\%20\Gamma%20\vdash%20E_2%20:%20\iota}{\Gamma%20\vdash%20E_1%20+%20E_2%20:%20\iota}
2024-05-17 00:40:43
USER_AGENT : Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
USER_AGENT : Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)